n (context|set theory|computer science) The set of non-negative integers, ℕ = {0, 1, 2, 3, ...}, being the smallest such that: